импликация

  • 81стоицизм — а; м. 1. Направление в античной философии, сосредоточившее основное внимание на этике, требующей сознательного подчинения господствующей в мире необходимости и призывающее к господству человека над страстями. 2. Стойкость, мужество в жизненных… …

    Энциклопедический словарь

  • 82Алгебра логики — Не следует путать с булевой алгеброй. Алгебра логики (алгебра высказываний)  раздел математической логики, в котором изучаются логические операции над высказываниями[1]. Чаще всего предполагается (т. н. бинарная или двоичная логика, в… …

    Википедия

  • 83Логика высказываний — Для улучшения этой статьи желательно?: Проставив сноски, внести более точные указания на источники. Логика высказываний (или пропозици …

    Википедия

  • 84Булева функция — В данной статье или разделе имеется список источников или внешних ссылок, но источники отдельных утверждений остаются неясными из за отсутствия сносок …

    Википедия

  • 85Климзо, Борис Николаевич — Дата рождения: 1930 год(1930) Место рождения: Горький …

    Википедия

  • 86Битовая операция — Битовые операции, иногда также булевы или логические операции[1] операции над битами, применяемые в программировании и цифровой технике, изучаемые в дискретной математике и математической логике. Содержание 1 Введение 1.1 …

    Википедия

  • 87Булевы выражения — В теории дискретных функциональных систем булевой функцией называют функцию типа , где булево множество, а n неотрицательное целое число, которое называют арностью или местностью функции. Элементы 1 (единица) и 0 (ноль) стандартно интерпретируют… …

    Википедия

  • 88Булевы операции — Битовые операции, иногда также булевы или логические операции[1] операции над битами, применяемые в программировании и цифровой технике, изучаемые в дискретной математике и математической логике. Содержание 1 Введение 1.1 …

    Википедия

  • 89Инвертор (логический элемент) — Битовые операции, иногда также булевы или логические операции[1] операции над битами, применяемые в программировании и цифровой технике, изучаемые в дискретной математике и математической логике. Содержание 1 Введение 1.1 …

    Википедия

  • 90Исчисление высказываний — Логика высказываний (или пропозициональная логика) это формальная теория, основным объектом которой служит понятие логического высказывания. С точки зрения выразительности, её можно охарактеризовать как классическую логику нулевого порядка.… …

    Википедия

  • 91Исчисления высказываний — Логика высказываний (или пропозициональная логика) это формальная теория, основным объектом которой служит понятие логического высказывания. С точки зрения выразительности, её можно охарактеризовать как классическую логику нулевого порядка.… …

    Википедия

  • 92Климзо — Климзо, Борис Николаевич Климзо, Борис Николаевич Дата рождения: 1930 год(1930) Место рождения: Г …

    Википедия

  • 93Пропозициональная логика — Логика высказываний (или пропозициональная логика) это формальная теория, основным объектом которой служит понятие логического высказывания. С точки зрения выразительности, её можно охарактеризовать как классическую логику нулевого порядка.… …

    Википедия

  • 94ЛЬЮИС Кларенс —     ЛЬЮИС (Lewis) Кларенс Ирвинг (12 апреля 1883, Стонем, Массачусетс 3 февраля 1964, Менло Парк, Калифорния) американский логик и философ, преподавал в Тарвардском и Стенфордском университетах, доктор философии (1910); член Американской академии …

    Философская энциклопедия

  • 95МНОГОЗНАЧНЫЕ ЛОГИКИ —     МНОГОЗНАЧНЫЕ ЛОГИКИ обобщение классической двузначной логики (см. Логика высказываний) к примеру, посредством которого к обычным истинностным значениям “истина” и “ложь” добавляются и другие (промежуточные) значения. Этот факт указывает на то …

    Философская энциклопедия

  • 96ХРИСИПП —     ХРИСИПП (Χρύσιππος) из Сол (ок. 278 ок. 205 н. э.), третий схоларх Стой и крупнейший представитель стоицизма, ученик и преемник Клеанфа.     Жизнь. Единственное определенное хронологическое свидетельство «Хроники» Аполлодора (SVF II 1 = D. L …

    Античная философия

  • 97неклассические логики —         НЕКЛАССИЧЕСКИЕ ЛОГИКИ широкая область логических исследований, выходящая за пределы или, наоборот, сужающая область исследований классической логики высказываний и логики предикатов.         Идеи для построения Н. л. были высказаны еще до …

    Энциклопедия эпистемологии и философии науки

  • 98релевантная логика —         РЕЛЕВАНТНАЯ ЛОГИКА (от англ. relevant существенный) одно из направлений современной неклассической логики, сформировавшееся во второй половине 20 в. Ее возникновение связано с попыткой решить проблему формализации логического следования и …

    Энциклопедия эпистемологии и философии науки

  • 99ЛОГИКА ВЫСКАЗЫВАНИЙ, или ПРОПОЗИЦИОНАЛЬНАЯ ЛОГИКА — раздел дедуктивной логики, в котором вопрос об истинности (или ложности) высказываний (т. е. суждений, рассматриваемых без их субъектно предикатной структуры) в умозаключениях рассматривается на основе изучения следующего средства их выражения т …

    Современный философский словарь

  • 100обратное утверждение — обратная импликация инверсия — [Л.Г.Суменко. Англо русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.] Тематики информационные технологии в целом Синонимы обратная импликацияинверсия EN converse …

    Справочник технического переводчика